Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🎯Hindley-Milner
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
github.com·1d·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
ML Systems Textbook by Havard
mlsysbook.ai·5h·
Discuss: Hacker News
🚀MLOps
Flag this post
Closures & Callstacks: Building a Game to Learn JavaScript Closures
dev.to·15h·
Discuss: DEV
🦀Rust Macros
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
Rust unit testing: assertion libraries
jorgeortiz.dev·1d·
Discuss: r/rust
📦Serde
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·2d
📐Type Theory
Flag this post
Structured Output Generation in LLMs: JSON Schema and Grammar-Based Decoding
pub.towardsai.net·1d
🌳Tree-sitter
Flag this post
Tour of a pattern matcher: expression and pattern expansion
crumbles.blog·2d·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust Macros
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·11h·
Discuss: Hacker News
🏗️Cranelift
Flag this post
Is this a Monad?
reddit.com·2d·
Discuss: r/rust
💫Effect Systems
Flag this post
Referential Transparency
quamserena.com·6h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Solving Project Euler #45
loriculus.org·6h·
Discuss: Hacker News
📊Dynamic Programming
Flag this post
The Hare Programming Language
harelang.org·13h·
Discuss: Hacker News
🐹golang
Flag this post
TSU 101 an New Type of Computing Hardware
extropic.ai·7h·
Discuss: Hacker News
🔀Procedural Generation
Flag this post
Reauthoring and Converting models for edge inference: MambaV2 on LiteRT
sachinjoglekar.substack.com·17h·
Discuss: Substack
🔥PyTorch
Flag this post
Show HN: Four Solutions to Valid Parenthesis (LeetCode #20)
medium.com·1d·
Discuss: Hacker News
✅Property Testing
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post